les assertions \(A\implies B\) et \(\lnot B\implies\lnot A\) sont équivalentes (Implication, Négation, Equivalence) Démonstration par la contraposée : Lorsque l'on veut prouver \(A\implies B\), on peut supposer \(\lnot B\) et établir \(\lnot A\)
